Works by Andrey A. Kuzichev

( view other items matching `Andrey A. Kuzichev`, view all matches )
6 found
Order:
  1.  16
    Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):575-577.
    We consider two-sorted theories of vector spaces and prove a criterion for the assertion that such a theory allows elimination of quantifiers over vector variables.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  26
    Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):575-577.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  14
    A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Mathematical Logic Quarterly 35 (6):495-514.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  21
    A Theory of Ambiguous Types and Its Axiomatizations.Andrey A. Kuzichev - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):495-514.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  16
    The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):299-300.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  30
    The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):299-300.
    Direct download  
     
    Export citation  
     
    Bookmark